1. Formal methods for open object-based distributed systems
پدیدآورنده: / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
D5
,
I573
,
2003


2. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده: Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884

